1

On the consistency strength of the proper forcing axiom

Year:
2011
Language:
english
File:
PDF, 180 KB
english, 2011
3

Absoluteness via resurrection

Year:
2017
Language:
english
File:
PDF, 410 KB
english, 2017
5

Guessing models and generalized Laver diamond

Year:
2012
Language:
english
File:
PDF, 328 KB
english, 2012
8

The Proper Forcing Axiom and the Singular Cardinal Hypothesis

Year:
2006
Language:
english
File:
PDF, 657 KB
english, 2006
9

The cumulative hierarchy and the constructible universe of ZFA

Year:
2004
Language:
english
File:
PDF, 116 KB
english, 2004
11

Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics

Year:
2008
Language:
english
File:
PDF, 2.09 MB
english, 2008
19

Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics

Year:
2008
Language:
english
File:
PDF, 196 KB
english, 2008
38

Martin’s maximum revisited

Year:
2016
Language:
english
File:
PDF, 530 KB
english, 2016
39

Martin’s Maximum and tower forcing

Year:
2013
Language:
english
File:
PDF, 391 KB
english, 2013
43

A binary modal logic for the intersection types of lambda-calculus

Year:
2003
Language:
english
File:
PDF, 196 KB
english, 2003